Entwurf und Implementierung eines parallelen Logiksimulators auf Basis von TEXSIM

Das Ziel dieser Arbeit ist es, eine erste lauffähige parallele Variante des IBM-internen sequentiellen Logiksimulators TEXSIM zu entwerfen und zu implementieren. Ausgangspunkt ist eine spezielle Methodik der Partitionierung der zu simulierenden Hardware-Modelle, deren Untersuchung und praktische Umsetzung in einem Forschungsprojekt bearbeitet wird. Das zu entwickelnde parallele Logiksimulationssystem soll der experimentellen Überprüfung und Bewertung der Untersuchungen zur Modellpartitionierung dienen

Cycle-based simulation on loosely-coupled systems

Logic simulation is a crucial verification task in processor design. Aiming at significant acceleration of system simulation we have parallelized IBM's cycle-based simulator TEXSIM. The resulting parallelTEXSIM has already been employed successfully in simulating S/390 architectures on IBM SP systems. Here we present parallelTEXSIM together with its model partitioning environment

Entwurf und Implementierung eines parallelen Logiksimulators auf Basis von TEXSIM

Das Ziel dieser Arbeit ist es, eine erste lauffähige parallele Variante des IBM-internen sequentiellen Logiksimulators TEXSIM zu entwerfen und zu implementieren. Ausgangspunkt ist eine spezielle Methodik der Partitionierung der zu simulierenden Hardware-Modelle, deren Untersuchung und praktische Umsetzung in einem Forschungsprojekt bearbeitet wird. Das zu entwickelnde parallele Logiksimulationssystem soll der experimentellen Überprüfung und Bewertung der Untersuchungen zur Modellpartitionierung dienen

Entwurf und Implementierung eines parallelen Logiksimulators auf Basis von TEXSIM

Das Ziel dieser Arbeit ist es, eine erste lauffähige parallele Variante des IBM-internen sequentiellen Logiksimulators TEXSIM zu entwerfen und zu implementieren. Ausgangspunkt ist eine spezielle Methodik der Partitionierung der zu simulierenden Hardware-Modelle, deren Untersuchung und praktische Umsetzung in einem Forschungsprojekt bearbeitet wird. Das zu entwickelnde parallele Logiksimulationssystem soll der experimentellen Überprüfung und Bewertung der Untersuchungen zur Modellpartitionierung dienen

Cycle-based simulation on loosely-coupled systems

Logic simulation is a crucial verification task in processor design. Aiming at significant acceleration of system simulation we have parallelized IBM's cycle-based simulator TEXSIM. The resulting parallelTEXSIM has already been employed successfully in simulating S/390 architectures on IBM SP systems. Here we present parallelTEXSIM together with its model partitioning environment